$\forall$${\it the\_es}$:ES. Trans(E;$x$,$y$.$x$ c$\leq$ $y$)